<?php
class page_404_exception extends exception{

}